Integer programming

Results: 382



#Item
31Software engineering / Software / Computing / C / Programming language implementation / Frama-C / Data types / Undefined behavior / Integer overflow / C99 / Exception handling / Unspecified behavior

Annotation Generation Frama-C’s annotation generator plug-in for Frama-C Aluminium

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2016-06-01 04:33:33
32Operations research / Combinatorial optimization / Mathematical optimization / Mathematics / Numerical analysis / Packing problems / Linear programming / Column generation / Cutting stock problem / Integer programming / Linear programming relaxation / Simplex algorithm

65 Documenta Math. Column Generation for Linear and Integer Programming George L. Nemhauser

Add to Reading List

Source URL: documenta.sagemath.org

Language: English - Date: 2012-07-25 10:24:42
33Compiler optimizations / Computing / Central processing unit / Operations research / Computer engineering / Computer hardware / Computer architecture / Processor register / Register allocation / Static single assignment form / Integer programming / CPU cache

∗ Taming the IXP Network Processor Lal George Network Speed Technologies, Inc

Add to Reading List

Source URL: people.cs.uchicago.edu

Language: English - Date: 2009-07-14 15:46:38
34Combinatorial optimization / Business / Real-time computing / Operations research / Technology / Planning / Scheduling algorithms / Professional studies / Rate-monotonic scheduling / Heuristic / Scheduling / Integer programming

Work-in-Progress Proceedings 27th Euromicro Conference on Real-Time Systems July 7 – 10, 2015 Lund, Sweden

Add to Reading List

Source URL: www.control.lth.se

Language: English - Date: 2015-07-09 03:36:07
35Biology / Gene expression / Systems science / Systems biology / Operations research / Molecular genetics / Mathematical optimization / Synthetic biology / Promoter / Gene regulatory network / Linear programming / Artificial gene synthesis

48 Automated Design of Synthetic Gene Circuits through Linear Approximation and Mixed Integer Optimization Linh Huynh

Add to Reading List

Source URL: www.cs.arizona.edu

Language: English - Date: 2012-06-06 20:07:08
36Operations research / Mathematical optimization / Mathematics / Numerical analysis / Linear programming / CPLEX / Algorithm / Simplex algorithm / Simplex / Integer programming / MPS / Travelling salesman problem

107 Documenta Math. A Brief History of Linear and Mixed-Integer Programming Computation

Add to Reading List

Source URL: www.math.uiuc.edu

Language: English - Date: 2012-07-25 10:24:47
37Software engineering / Computing / Computer programming / Object-oriented programming languages / Data types / Notation / Programming language / Computer / Python / Data / Integer

Grundzüge der Wirtschaftsinformatik Introduction to Business Information Systems GWI-HT2009 – Unit 4: Introduction to Python (1) Univ.-Prof. Dr. Martin Hepp Professur für Allgemeine BWL, insbesondere E-Business

Add to Reading List

Source URL: www.ebusiness-unibw.org

Language: English - Date: 2016-07-26 08:52:51
38Operations research / Numerical analysis / Mathematical optimization / Mathematical analysis / Mathematics / Linear programming / Multi-objective optimization / Computer algebra systems / Numerical software / General Algebraic Modeling System / Artelys Knitro

The Speakers Jawad Elomari he is a lead researcher at ORTEC B.V. on mixed integer nonlinear optimization. He has worked in various industries like supply chain, pharmaceuticals, and engineering design. His research inter

Add to Reading List

Source URL: or2015.univie.ac.at

Language: English - Date: 2015-07-09 02:39:51
39Mathematics / Cryptography / Geometry / Lattice points / Linear algebra / Operations research / Analytic geometry / Lattice / Integer programming / NP / Lattice problem / Ehrhart polynomial

Math 583D, Spring 2016 MWF 1:30-2:20 Integer Optimization and Lattices Thomas Rothvoss Content

Add to Reading List

Source URL: www.math.washington.edu

Language: English - Date: 2015-06-18 14:37:10
40Mathematics / Operations research / Mathematical optimization / Combinatorial optimization / Applied mathematics / Travelling salesman problem / Branch and bound / Linear programming relaxation / Integer programming / Branch and cut / Linear programming / Algorithm

227 Documenta Math. Markowitz and Manne + Eastman + Land and Doig = Branch and Bound

Add to Reading List

Source URL: www.math.uiuc.edu

Language: English - Date: 2012-07-25 10:25:04
UPDATE